Skip to content

Conversation

@curquiza
Copy link
Member

Following this discussion (internal)

@curquiza curquiza added documentation Improvements or additions to documentation skip-changelog The PR will not appear in the release changelogs labels Sep 27, 2023
@curquiza curquiza requested a review from bidoubiwa September 27, 2023 11:49
@curquiza
Copy link
Member Author

bors merge

@meili-bors
Copy link
Contributor

meili-bors bot commented Sep 27, 2023

@meili-bors meili-bors bot merged commit 1bdfcb3 into main Sep 27, 2023
@meili-bors meili-bors bot deleted the fix-code-samples branch September 27, 2023 12:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation skip-changelog The PR will not appear in the release changelogs

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants